a^2=ab